Function model

Results: 1865



#Item
201Model theory / Formal methods / Propositional calculus / Predicate logic / Function / Lambda calculus / Forcing / Well-formed formula / Atomic formula / Logic / Mathematical logic / Mathematics

Published in Proceedings of the 17th IEEE Computer Security Foundations Workshop, 2004, pages 236–250. By Reason and Authority: A System for Authorization of Proof-Carrying Code Nathan Whitehead Department of Computer

Add to Reading List

Source URL: www.cs.berkeley.edu

Language: English - Date: 2010-10-29 12:59:44
202Estimation theory / Statistical inference / Model selection / Maximum likelihood / Likelihood function / Bayesian inference / Principle of maximum entropy / Likelihood principle / Prior probability / Statistics / Bayesian statistics / Statistical theory

cc24j, CHAPTER 24 MODEL COMPARISON \Entities are not to be multiplied without necessity" - - - William of Ockham, ca 1330 We have seen in some detail how to conduct inferences { test hypotheses, estimate paramete

Add to Reading List

Source URL: www-biba.inrialpes.fr

Language: English - Date: 2004-03-11 14:49:07
203Markov models / Markov chain / Statistical models / Psychometrics / Macroeconomics / Latent variable / Macroeconomic model / Correlation and dependence / Function / Mathematical analysis / Mathematics / Statistics

Econometric Analysis and Prediction of Recurrent Events∗ Adrian Pagan and Don Harding June 17, 2011 Contents

Add to Reading List

Source URL: creates.au.dk

Language: English - Date: 2011-09-21 09:16:02
204Permanent income hypothesis / Marginal propensity to consume / Consumption function / Milton Friedman / Random walk model of consumption / Utility / Economic model / Income / Consumption smoothing / Macroeconomics / Economics / Precautionary savings

NBER Final Draft A Theory of the Consumption Function, With and Without Liquidity Constraints (Expanded Version) Christopher D. Carroll†

Add to Reading List

Source URL: www.econ2.jhu.edu

Language: English - Date: 2001-08-07 11:48:46
205Science / Cognitive science / Car safety / Control theory / Internal model / Motor imagery / Automobile handling / Motor cognition / Embodied cognition / Motor control / Neuroscience / Mind

Transport Research Arena 2014, Paris The driver Continuous Support function in the FP7 “interactIVe” project: an implementation based on the “co-driver” metaphor Mauro Da Lioa,*, Francesco Birala, Enrico Bertola

Add to Reading List

Source URL: tra2014.traconference.eu

Language: English - Date: 2015-01-12 10:54:16
206Econometrics / JT / Product lifecycle management / XT / Optimal design / Bellman equation / Loss function / Normal distribution / Control theory / Statistics / Statistical theory / Regression analysis

BOP709.tex Bayesian and Adaptive Optimal Policy under Model Uncertainty∗ Lars E.O. Svensson Sveriges Riksbank and Princeton University www.princeton.edu/svensson/

Add to Reading List

Source URL: larseosvensson.se

Language: English - Date: 2013-07-17 18:49:15
207Model theory / Formal languages / Metalogic / First-order logic / Interpretation / Witness / Function / Presburger arithmetic / Well-formed formula / Logic / Mathematics / Mathematical logic

Regular graphs and the spectra of two-variable logic with counting Eryk Kopczy´ nski∗ Tony Tan†

Add to Reading List

Source URL: alpha.uhasselt.be

Language: English - Date: 2014-07-02 10:40:42
208Mathematical logic / Symbol / Model theory / Function / Interpretation / Heyting algebra / Natural deduction / Mathematics / Logic / Metalogic

Models and termination of proof-reduction in the λΠ-calculus modulo theory Gilles Dowek∗ Abstract We define a notion of model for the λΠ-calculus modulo theory, a notion of superconsistent theory, and prove that pr

Add to Reading List

Source URL: who.rocq.inria.fr

Language: English - Date: 2014-10-09 11:42:35
209Estimation theory / Maximum likelihood / Normal distribution / Gaussian function / Likelihood function / Likelihood-ratio test / Poisson distribution / Sufficient statistic / Mixture model / Statistics / Statistical theory / Bayesian statistics

Copyright Cambridge University PressOn-screen viewing permitted. Printing not permitted. http://www.cambridge.orgYou can buy this book for 30 pounds or $50. See http://www.inference.phy.cam.ac.uk/macka

Add to Reading List

Source URL: www.inference.phy.cam.ac.uk

Language: English - Date: 2005-05-21 12:28:41
210M-estimator / Extremum estimator / Maximum likelihood / Bayes estimator / Loss function / Sufficient statistic / Generalized method of moments / Parametric model / Estimator / Statistics / Estimation theory / Statistical theory

The ABC of Simulation Estimation with Auxiliary Statistics Jean-Jacques Forneron∗ Serena Ng† arXiv:1501.01265v2 [stat.ME] 3 Mar 2015

Add to Reading List

Source URL: arxiv.org

Language: English - Date: 2015-03-03 21:47:23
UPDATE